A Novel Mobile Data Contract Design with Time Flexibility
نویسندگان
چکیده
منابع مشابه
Coordinating a decentralized supply chain with a stochastic demand using quantity flexibility contract: a game-theoretic approach
Supply chain includes two or more parties linked by flow of goods, information, and funds. In a decentralized system, supply chain members make decision regardless of their decision's effects on the performance of the other members and the entire supply chain. This is the key issue in supply chain management, that the mechanism should be developed in which different objectives should be align...
متن کاملA Novel Method Design Multiplexer Quaternary with CNTFET
Background and Objectives: In recent decades, due to the effect of the short channel, the use of CMOS transistors in the nanoscale has become a major concern. One option to deal with this issue is the use of nano-transistors. Methods: Using nano-transistors and multi-valued logic (MVL) can reduce the level of chips and connections and have a direct impact on power consumption. The present study...
متن کاملDesign by Contract with JML
This document gives a tutorial introduction to the Java Modeling Language (JML), and explains how JML can be used as a powerful design by contract (DBC) tool for Java. JML is a formal behavioral interface specification language for Java that contains the essential notations used in DBC as a subset. The basic concepts of DBC are explained with a particular emphasis on how to use JML notations to...
متن کامل"Design by Contract" + "Componentware" = "Design by Signed Contract"
The main goal of "Design by Contract" is to improve correctness and robustness of software systems. For this purpose, the interfaces of classes or modules are augmented with precise specifications containing assertions. By means of these assertions, a supplier of a service imposes contractual obligations that his clients have to fulfill. " Componentware " introduces a new software development p...
متن کاملDATA VIEWS, DATA RECOGNITION, DESIGN QUERIES AND DESIGN RULES Representational flexibility for design
Sorts present a constructive approach to representational structures and provide a uniform approach to handling various design data. In this way, sorts offer support for multiple, alternative data views and for data exchange between these views. The representation of sorts extends on a maximal element representation for shapes that supports shape recognition and shape rules. In the same way, so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Mobile Computing
سال: 2019
ISSN: 1536-1233,1558-0660,2161-9875
DOI: 10.1109/tmc.2018.2852654